11![Implementing an interval computation library for OCaml on x86/amd64 architectures Jean-Marc Alliot1 and Jean-Baptiste Gotteland1,2 and Charlie Vanaret1,2 and Nicolas Durand1,2 and David Gianazza1,2 Abstract. In this pape Implementing an interval computation library for OCaml on x86/amd64 architectures Jean-Marc Alliot1 and Jean-Baptiste Gotteland1,2 and Charlie Vanaret1,2 and Nicolas Durand1,2 and David Gianazza1,2 Abstract. In this pape](https://www.pdfsearch.io/img/8a10da330614473853379edd429eae1c.jpg) | Add to Reading ListSource URL: oud.ocaml.orgLanguage: English - Date: 2012-07-24 12:02:05
|
---|
12![File: ARITH_17U version dated July 8, 2005 4:30 am A Brief Tutorial on Gradual Underflow Prepared for ARITH 17, Tues. 28 June 2005, File: ARITH_17U version dated July 8, 2005 4:30 am A Brief Tutorial on Gradual Underflow Prepared for ARITH 17, Tues. 28 June 2005,](https://www.pdfsearch.io/img/09898af398bf6438e052f9a2064b6607.jpg) | Add to Reading ListSource URL: www.cs.berkeley.eduLanguage: English - Date: 2005-07-08 07:34:24
|
---|
13![CCCG 2007, Ottawa, Ontario, August 20–22, 2007 On the Design and Performance of Reliable Geometric Predicates using Error-free Transformations and Exact Sign of Sum Algorithms∗ Marc M¨orig† CCCG 2007, Ottawa, Ontario, August 20–22, 2007 On the Design and Performance of Reliable Geometric Predicates using Error-free Transformations and Exact Sign of Sum Algorithms∗ Marc M¨orig†](https://www.pdfsearch.io/img/f404e52723469c14665516533d3d1b32.jpg) | Add to Reading ListSource URL: cccg.caLanguage: English - Date: 2008-10-28 21:27:37
|
---|
14![](https://www.pdfsearch.io/img/0018a798da163b6456ee23f96b3ae0ef.jpg) | Add to Reading ListSource URL: www.iis.ee.ethz.chLanguage: English - Date: 2006-03-07 18:40:56
|
---|
15![© ISO/IEC 2014 – All rights reserved Working Group Draft – February 4, 2014 ISO/IEC JTC 1/SC 22/WG 14 N1790 Date: yyyy-mm-dd © ISO/IEC 2014 – All rights reserved Working Group Draft – February 4, 2014 ISO/IEC JTC 1/SC 22/WG 14 N1790 Date: yyyy-mm-dd](https://www.pdfsearch.io/img/71c7ada2bc04fea0f0e5b38308c29877.jpg) | Add to Reading ListSource URL: www.open-std.orgLanguage: English - Date: 2014-02-04 14:18:22
|
---|
16![WG 14 N1839 WG14 CFP meeting minutes for the meeting of:00 AM PDT / 12:00 PM EDT: Attendees: Jim, Rajan, Fred, David, Mike, Ian New agenda items: None. WG 14 N1839 WG14 CFP meeting minutes for the meeting of:00 AM PDT / 12:00 PM EDT: Attendees: Jim, Rajan, Fred, David, Mike, Ian New agenda items: None.](https://www.pdfsearch.io/img/0e486424d38e7178ca495a7540525c28.jpg) | Add to Reading ListSource URL: www.open-std.orgLanguage: English - Date: 2014-06-30 11:39:36
|
---|
17![© ISO/IEC 2013 – All rights reserved Working Group Draft – March 2, 2013 ISO/IEC JTC 1/SC 22/WG 14 N1679 Date: yyyy-mm-dd © ISO/IEC 2013 – All rights reserved Working Group Draft – March 2, 2013 ISO/IEC JTC 1/SC 22/WG 14 N1679 Date: yyyy-mm-dd](https://www.pdfsearch.io/img/56caddc3be018fcaef64b5a092a228a7.jpg) | Add to Reading ListSource URL: www.open-std.orgLanguage: English - Date: 2013-03-24 08:18:31
|
---|
18![© ISO/IEC 2013 – All rights reserved Working Group Draft – October 7, 2013 ISO/IEC JTC 1/SC 22/WG 14 N1774 Date: yyyy-mm-dd © ISO/IEC 2013 – All rights reserved Working Group Draft – October 7, 2013 ISO/IEC JTC 1/SC 22/WG 14 N1774 Date: yyyy-mm-dd](https://www.pdfsearch.io/img/5c503300338c37a5013571bbdc529471.jpg) | Add to Reading ListSource URL: www.open-std.orgLanguage: English - Date: 2013-10-28 08:04:09
|
---|
19![© ISO/IEC 2013 – All rights reserved Draft Technical Specification – November 25, 2013 ISO/IEC JTC 1/SC 22/WG 14 N1781 Date: yyyy-mm-dd © ISO/IEC 2013 – All rights reserved Draft Technical Specification – November 25, 2013 ISO/IEC JTC 1/SC 22/WG 14 N1781 Date: yyyy-mm-dd](https://www.pdfsearch.io/img/82cec56c5a11d6824ca25c8d674f38bd.jpg) | Add to Reading ListSource URL: www.open-std.orgLanguage: English - Date: 2013-12-08 11:47:34
|
---|
20![© ISO/IEC 2014 – All rights reserved Working Group Draft – April 29, 2014 ISO/IEC JTC 1/SC 22/WG 14 N1834 Date: yyyy-mm-dd © ISO/IEC 2014 – All rights reserved Working Group Draft – April 29, 2014 ISO/IEC JTC 1/SC 22/WG 14 N1834 Date: yyyy-mm-dd](https://www.pdfsearch.io/img/842f8c89dfebe35fbad6698b551e1ff2.jpg) | Add to Reading ListSource URL: www.open-std.orgLanguage: English - Date: 2014-05-02 15:34:26
|
---|